Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
261	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
262	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
263	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
264	Microsoft PowerPoint - gabb16newVersion Add to Reading List Source URL: graphanalysis.org Language: English - Date: 2016-06-14 13:08:57 Mathematics Graph theory Numerical linear algebra Numerical software Basic Linear Algebra Subprograms Theoretical computer science Adjacency matrix Breadth-first search Trilinos Book:Graph Theory
265	Vita of Kirk Pruhs Department of Computer Science University of Pittsburgh Pittsburgh, PA8844 Add to Reading List Source URL: people.cs.pitt.edu Language: English - Date: 2014-05-04 19:22:23 Theoretical computer science Computer science Science Academia ACM SIGACT Symposium on Discrete Algorithms ACM Transactions on Algorithms Algorithmica Symposium on Parallelism in Algorithms and Architectures European Symposium on Algorithms International Colloquium on Automata Languages and Programming Computational geometry
266	FAULT-TOLERANT LOGICAL GATES IN QUANTUM ERROR-CORRECTING CODES Fernando Pastawski with Beni Yoshida arXiv:soon PRA) QEC 2014, Zurich Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-22 06:49:52 Theoretical computer science Quantum information science Quantum computing Quantum mechanics Quantum error correction Stabilizer code Quantum gate Quantum teleportation Controlled NOT gate GottesmanKnill theorem Toric code
267	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
268	Design Considerations for High Fan-in Systems: The HiFi Approach Michael J. Franklin, Shawn R. Jeffery, Sailesh Krishnamurthy, Frederick Reiss, Shariq Rizvi, Eugene Wu, Owen Cooper, Anil Edakkunni, and Wei Hong+ Add to Reading List Source URL: www-db.cs.wisc.edu Language: English - Date: 2011-09-16 15:44:48 Computing Data management Cognition Information systems Lowest common ancestor Theoretical computer science Radio-frequency identification Wireless sensor network Data integration Data Sensor node Complex event processing
269	Principled Evaluation of Differentially Private Algorithms Michael Hay∗ , Ashwin Machanavajjhala∗∗ , Gerome Miklau† , Yan Chen∗∗ , Dan Zhang† ∗ Colgate University, Department of Computer Science, mhay@col Add to Reading List Source URL: tpdp16.cse.buffalo.edu Language: English - Date: 2016-06-09 22:52:39 Theoretical computer science Algorithm Mathematical logic Analysis of algorithms Machine learning Mathematics Cognitive science
270	Simple Extractors for All Min-Entropies and a New Pseudorandom Generator∗ Ronen Shaltiel † Christopher Umans ‡ Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2004-12-08 14:14:59 Cryptography Theoretical computer science Computational complexity theory Theory of computation Pseudorandomness Random number generation Randomness Randomness extractor Pseudorandom generator Extractor Advice List decoding

UPDATE